2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, 341)
Автор:
Sten Lindstrom
, Автор:
Erik Palmgren
, Автор:
Krister Segerberg
, Автор:
Viggo Stoltenberg-Hansen
Категория:
Математика
,
Математическая логика
Размер книги: 3.36 Mb
Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, 341)
Автор:
Sten Lindstrom
, Автор:
Erik Palmgren
, Автор:
Krister Segerberg
, Автор:
Viggo Stoltenberg-Hansen
Категория:
Математика
,
Математическая логика
Размер книги: 3.15 Mb
Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, Volume 341)
Автор:
Sten Lindström
, Автор:
Erik Palmgren
, Автор:
Krister Segerberg
, Автор:
Viggo Stoltenberg-Hansen
Категория:
Математика
,
Математическая логика
Размер книги: 3.32 Mb
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Автор:
Peter Dybjer
, Автор:
Sten Lindström
, Автор:
Erik Palmgren
, Автор:
Göran Sundholm (Editors)
Категория:
Математика
,
Математическая логика
Размер книги: 2.56 Mb